#discerner_searches, #discerner_search
  div.discerner-buttons
    :margin 1em 0

  a.discerner-button-negative, button.discerner-button-negative, input.discerner-button-negative
    :color #800000
    :font-weight bold

  a.discerner-button-positive, button.discerner-button-positive, input.discerner-button-positive
    :color #529214
    :font-weight bold


